#include <xparameters.h>
#include <xil_types.h>
#include <xil_assert.h>
#include <xhwicap.h>
#include <stdio.h>
#include "xil_printf.h"

#define HWICAP_DEVICEID         XPAR_HWICAP_0_DEVICE_ID
#define HWICAP_BASEADDR         XPAR_HWICAP_0_BASEADDR

#define BIT_1_FLASH_IMAGE_BASEADDR  0x00000000
#define BIT_2_FLASH_IMAGE_BASEADDR  0x01400000


// #define printf   xil_printf          /* A smaller footprint printf */

int HwIcaptest(void);
int InitHwIcap();
